$\forall$$n$:$\mathbb{N}$, $A$:Realizer.
\\[0ex]R{-}size($A$)$\leq$$n$
\\[0ex]$\Rightarrow$ R{-}Feasible($A$)
\\[0ex]$\Rightarrow$ [[$A$]] $\in$ Dsys \& ($\forall$$B$:Realizer. R{-}size($B$)$\leq$$n$ $\Rightarrow$ R{-}Feasible($B$) $\Rightarrow$ $A$ $\parallel$ $B$ $\Rightarrow$ [[$A$]] $\parallel$ [[$B$]])